Spectra of structures and relations
نویسندگان
چکیده
منابع مشابه
Spectra of structures and relations
We consider embeddings of structures which preserve spectra: if g : M → S with S computable, then M should have the same spectrum (as a structure) that g(M) has (as a relation on S). We show that the computable dense linear order L is universal for all countable linear orders under this notion of embedding, and we establish a similar result for the computable random graph G. Such structures are...
متن کاملDegree spectra of relations on computable structures
§0. Introduction. There has been increasing interest over the last few decades in the study of the effective content of Mathematics. One field whose effective content has been the subject of a large body of work, dating back at least to the early 1960s, is model theory. (A valuable reference is the handbook [7]. In particular, the introduction and the articles by Ershov and Goncharov and by Har...
متن کاملTheoretical Studies of the Vibrational Spectra and Molecular Structures of Dosulepin and Doxepin
Dosulepin and doxepin are tricyclic antidepressants. The molecular geometries, harmonic vibrational frequencies, quantum chemical parameters and thermodynamic properties of dosulepin and doxepin were calculated by Generalized Gradient Approximation methods developed by Perdew and Wang (GGA-PW91) and Becke-Lee-Yang-Parr (GGA-BLYP) in the gas phase and solution media. The local reactivity of thes...
متن کاملResponse Spectra of Structures under Subway Induced Vibrations
Passing underground trains induce vibrations transmitted to the ground surface and the nearby structures. Ordinarily, these vibrations do not result in structural damage but can harm nonstructural elements and disturb the occupants. These effects are more pronounced when evaluating buildings like hospitals, laboratories, museums, etc., and their assessment is an important design need. To respon...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2007
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1174668398